Goto

Collaborating Authors

 team logic

A Primer for Preferential Non-Monotonic Propositional Team Logics

Sauerwald, Kai, Kontinen, Juha

arXiv.org Artificial Intelligence

This paper considers KLM-style preferential non-monotonic reasoning in the setting of propositional team semantics. We show that team-based propositional logics naturally give rise to cumulative non-monotonic entailment relations. Motivated by the non-classical interpretation of disjunction in team semantics, we give a precise characterization for preferential models for propositional dependence logic satisfying all of System P postulates. Furthermore, we show how classical entailment and dependence logic entailment can be expressed in terms of non-trivial preferential models.

2405.06973
  Country:
  Genre:
  Technology:

Add feedback